81. Modelle der Mengenlehre : Widerspruchsireiheit Und Unabhangigkeit der Kontinum-Hypothese und des Auswahlaxioms
پدیدآورنده: Jensen, Ronald Bjorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
37
82. Notes on logic and set theory
پدیدآورنده : P. T. Johnstone
موضوع : Logic, Symbolic and mathematical,set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
83. Notes on logic and set theory
پدیدآورنده: Johnstone, P. T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
J64
1987
84. Notes on logic and set theory
پدیدآورنده: Johnstone, P. T.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Logic, Symbolic and mathematical.,، Set theory
رده :
QA
9
.
J6N6
85. Ones and zeroes
پدیدآورنده: John Gregg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory
رده :
TK
,
7888
.
4
,.
G74
86. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده: edited by G. H. Muller and M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
87. Proof, logic, and conjecture :
پدیدآورنده: Robert S. Wolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Number theory.,Set theory.
رده :
QA9
.
W748
1998
88. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده: Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
89. Quality, Resemblance, and order
پدیدآورنده: Shreider, Iulii Anatolevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S524
1975
90. Quantitative analysis methods for substantive analysts
پدیدآورنده: DeFrancesco, Henry F.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
91. Quantitative analysis methods for substantive analysts
پدیدآورنده: DeFrancesco, Henry F.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
92. Roads to infinity the mathematics of truth and proof
پدیدآورنده: John Stillwell
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Set theory,Infinite,Logic, Symbolic and mathematical
رده :
QA
248
.
S778
2010
93. Roads to infinity : the mathematics of truth and proof
پدیدآورنده: Stillwell, John.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Set theory,، Infinite,، Logic, Symbolic and mathematical
رده :
QA
248
.
S778
2010
94. Set theory and its logic
پدیدآورنده: Quine, W. V.)Willard Van Orman(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
95. Set theory and its logic
پدیدآورنده: Quine, Willard Van Orman, 8091-0002
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
Q56S4
96. Set theory and its logic.
پدیدآورنده: Quinet
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Axiomatic set theory,Logic, Symbolic and mathematical
رده :
QA
248
.
Q5
1969
97. Set theory and logic
پدیدآورنده: Frankel, Abraham Adolf
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
98. Set theory and logic
پدیدآورنده: Fraenkel, Abraham Adolf
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
99. Set theory and logic
پدیدآورنده: Fraenkel, Abraham Adolf
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
F765
100. Set theory and logic
پدیدآورنده: Stoll, Robert Roth.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S7985
1963
